Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A logical approach to discrete math / David Gries, Fred B. Schneider
| A logical approach to discrete math / David Gries, Fred B. Schneider |
| Autore | Gries, David |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XVI, 497 p. : ill. ; 24 cm |
| Disciplina | 510 |
| Collana | Text and monographs in computer science |
| Soggetto non controllato | matematica |
| ISBN | 0-387-94115-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000237240203316 |
Gries, David
|
||
| New York [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A logical approach to discrete mathematics / David Gries, Fred B. Schneider
| A logical approach to discrete mathematics / David Gries, Fred B. Schneider |
| Autore | GRIES, David |
| Pubbl/distr/stampa | New York : Springer Verlag, copyr. 1993 |
| Descrizione fisica | XVI, 497 p. : ill. ; 24 cm |
| Altri autori (Persone) | SCHNEIDER, Fred B. |
| Collana | Text and monographs in computer science |
| Soggetto topico | Matematica |
| ISBN | 0-387-94115-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000305810203316 |
|
GRIES, David
|
||
| New York : Springer Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler construction for digital computers / David Gries
| Compiler construction for digital computers / David Gries |
| Autore | Gries, David |
| Pubbl/distr/stampa | New York : John Wiley & Sons, 1971 |
| Descrizione fisica | XIII, 493 p. : ill. ; 25 cm. |
| Disciplina | 005453 |
| Soggetto non controllato | elaboratori elettronici digitali - compilatori |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000246820203316 |
|
Gries, David
|
||
| New York : John Wiley & Sons, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler construction for digital computers / David Gries
| Compiler construction for digital computers / David Gries |
| Autore | Gries, David |
| Pubbl/distr/stampa | New York : John Wiley & Sons, 1971 |
| Descrizione fisica | XIII, 493 p. : ill. ; 25 cm. |
| Disciplina | 005453 |
| Soggetto non controllato | elaboratori elettronici digitali - compi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000143740203316 |
|
Gries, David
|
||
| New York : John Wiley & Sons, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler construction for digital computers / David Gries
| Compiler construction for digital computers / David Gries |
| Autore | Gries, David <1939- > |
| Pubbl/distr/stampa | New York [etc.], : J. Wiley, c1971 |
| Descrizione fisica | XIII, 493 p. ; 26 cm. |
| Disciplina |
005.4
005.453 |
| Soggetto topico |
Compilatori
Compilatori |
| ISBN | 047132776X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10005113 |
|
Gries, David <1939- >
|
||
| New York [etc.], : J. Wiley, c1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Compiler construction for digital computers / David Gries
| Compiler construction for digital computers / David Gries |
| Autore | Gries, David |
| Pubbl/distr/stampa | New York : John Wiley & Sons, c1971 |
| Descrizione fisica | xiii, 493 p. ; 26 cm. |
| ISBN | 047132776X |
| Classificazione |
621.3.9.1
621.3.9.2 621.3.9.4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000860769707536 |
|
Gries, David
|
||
| New York : John Wiley & Sons, c1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider
| A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider |
| Autore | Gries David |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XVI, 516 p.) |
| Disciplina | 004.0151 |
| Collana | Texts and Monographs in Computer Science |
| Soggetto topico |
Computer science
Arithmetic and logic units, Computer Computer science - Mathematics Computer Science Discrete Mathematics in Computer Science Arithmetic and Logic Structures Computer Science, general |
| ISBN | 1-4757-3837-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 0 Using Mathematics -- 1 Textual Substitution, Equality, and Assignment -- 2 Boolean Expressions -- 3 Propositional Calculus -- 4 Relaxing the Proof Style -- 5 Applications of Propositional Calculus -- 6 Hilbert-style Proofs -- 7 Formal Logic -- 8 Quantification -- 9 Predicate Calculus -- 10 Predicates and Programming -- 11 A Theory of Sets -- 12 Mathematical Induction -- 13 A Theory of Sequences -- 14 Relations and Functions -- 15 A Theory of Integers -- 16 Combinatorial Analysis -- 17 Recurrence Relations -- 18 Modern Algebra -- 19 A Theory of Graphs -- 20 Infinite Sets -- References -- Theorems of the propositional and predicate calculi. |
| Record Nr. | UNINA-9910480145203321 |
|
Gries David
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider
| A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider |
| Autore | Gries David |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XVI, 516 p.) |
| Disciplina | 004.0151 |
| Collana | Monographs in Computer Science |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Computer arithmetic and logic units Computer science Discrete Mathematics in Computer Science Arithmetic and Logic Structures Computer Science |
| ISBN | 1-4757-3837-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 0 Using Mathematics -- 1 Textual Substitution, Equality, and Assignment -- 2 Boolean Expressions -- 3 Propositional Calculus -- 4 Relaxing the Proof Style -- 5 Applications of Propositional Calculus -- 6 Hilbert-style Proofs -- 7 Formal Logic -- 8 Quantification -- 9 Predicate Calculus -- 10 Predicates and Programming -- 11 A Theory of Sets -- 12 Mathematical Induction -- 13 A Theory of Sequences -- 14 Relations and Functions -- 15 A Theory of Integers -- 16 Combinatorial Analysis -- 17 Recurrence Relations -- 18 Modern Algebra -- 19 A Theory of Graphs -- 20 Infinite Sets -- References -- Theorems of the propositional and predicate calculi. |
| Record Nr. | UNINA-9910792484403321 |
|
Gries David
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider
| A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider |
| Autore | Gries David |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XVI, 516 p.) |
| Disciplina | 004.0151 |
| Collana | Monographs in Computer Science |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Computer arithmetic and logic units Computer science Discrete Mathematics in Computer Science Arithmetic and Logic Structures Computer Science |
| ISBN | 1-4757-3837-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 0 Using Mathematics -- 1 Textual Substitution, Equality, and Assignment -- 2 Boolean Expressions -- 3 Propositional Calculus -- 4 Relaxing the Proof Style -- 5 Applications of Propositional Calculus -- 6 Hilbert-style Proofs -- 7 Formal Logic -- 8 Quantification -- 9 Predicate Calculus -- 10 Predicates and Programming -- 11 A Theory of Sets -- 12 Mathematical Induction -- 13 A Theory of Sequences -- 14 Relations and Functions -- 15 A Theory of Integers -- 16 Combinatorial Analysis -- 17 Recurrence Relations -- 18 Modern Algebra -- 19 A Theory of Graphs -- 20 Infinite Sets -- References -- Theorems of the propositional and predicate calculi. |
| Record Nr. | UNINA-9910814761203321 |
|
Gries David
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principi di progettazione dei compilatori / David Gries ; presentazione di Arrigo Frisiani
| Principi di progettazione dei compilatori / David Gries ; presentazione di Arrigo Frisiani |
| Autore | Gries, David |
| Pubbl/distr/stampa | Milano : FrancoAngeli, 1984 |
| Descrizione fisica | 566 p. ; 22 cm |
| Disciplina | 004 |
| Collana | Collana di informatica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008253890403321 |
|
Gries, David
|
||
| Milano : FrancoAngeli, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
